Some Logical Metatheorems with Applications in Functional Analysis
نویسندگان
چکیده
منابع مشابه
Some Logical Metatheorems with Applications in Functional Analysis
In previous papers we have developed proof-theoretic techniques for extracting effective uniform bounds from large classes of ineffective existence proofs in functional analysis. Here ‘uniform’ means independence from parameters in compact spaces. A recent case study in fixed point theory systematically yielded uniformity even w.r.t. parameters in metrically bounded (but noncompact) subsets whi...
متن کاملGeneral logical metatheorems for functional analysis
In this paper we prove general logical metatheorems which state that for large classes of theorems and proofs in (nonlinear) functional analysis it is possible to extract from the proofs effective bounds which depend only on very sparse local bounds on certain parameters. This means that the bounds are uniform for all parameters meeting these weak local boundedness conditions. The results vastl...
متن کاملSome Probabilistic Inequalities with Applications to Functional Analysis
This paper is an exposition of some probabilistic results having applications to functional analysis. These include martingale inequalities and moment inequalities for sums of independent random variables. Applications are given to the Banach space structure of several families of function spaces.
متن کاملon some bayesian statistical models in actuarial science with emphasis on claim count
چکیده ندارد.
15 صفحه اولGeneralized metatheorems on the extractability of uniform bounds in functional analysis
In [6], the second author proved general metatheorems for the extraction of effective uniform bounds from ineffective existence proofs in functional analysis, more precisely from proofs in classical analysis A(:= weakly extensional Peano arithmetic WE-PA in all finite types + quantitifer-free choice + the axiom schema of dependent choice DC) extended with (variants of) abstract bounded metric s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BRICS Report Series
سال: 2003
ISSN: 1601-5355,0909-0878
DOI: 10.7146/brics.v10i21.21791